Union Models for Model Families: Efficient Reasoning over Space and Time

A model family is a set of related models in given language, with commonalities and variabilities that result from evolution over time and/or variation intended usage (the spatial dimension). As the size increases, it becomes cumbersome to analyze individually. One solution represent using one global supports analysis. In this paper, we propose concept union as complete concise representation all members family. We use graph theory formalize attributed typed graphs which are same metamodel. The formalized elements These annotated their corresponding versions configurations. This formalization independent modeling language used. also demonstrate how can be used perform reasoning tasks on families, e.g., trend analysis property checking. Empirical results suggest potential time-saving benefits when for at once opposed separately analyzing single time.